Completeness and Consistency of the System Requirement Specification
نویسنده
چکیده
Although the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project phases, then get rid of the SRS. Replace formal requirements with user stories. However user stories are also requirements mostly functional requirements. As agile methodologies focus on functional requirements, it is easy to forget quality requirements. In this paper we show the impact of quality requirements analysis on functional requirements exploration. Although in our experiment we noticed considerable large functional requirements increment, we went further and examined the impact of SRS consistency on its completeness. The research has shown that the increment of the revealed requirements count may be almost three times greater, compared to the standard requirement specification method.
منابع مشابه
Specifying semantic information on functional requirements
Requirements engineering is a challenging process in software development projects. Requirements, in general, are documented in natural language. They often have issues related to ambiguity, completeness and consistency. How to improve the quality of requirements documentation remains a classic research topic. This research aims at improving the way of editing and documenting functional require...
متن کاملSoftware Requirements Specification and Analysis Using Zed and Statecharts
This paper presents a prototypical study, of an embedded system requirement specification, used to establish the basis for a complete case study. We are interested in comparing different specification methods that accommodate the notion of state. A partial modeling of a NASA provided Guidance and Control Software (GCS) development specification was employed. The GCS describes, in natural langua...
متن کاملRequirement Engineering Research
The requirement validation is vital for every successful software development. In this process, the requirements from the users are checks and analyzed with its consistency, completeness and correctness. The validation of requirements is a very vast research area in software engineering. In this presented article, some quality research approaches are cited for the software engineering researche...
متن کاملA Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance
In this paper, we discuss a case study performed for validating a Natural Language (NL) based software requirements specification (SRS) in terms of completeness, consistency, and fault-tolerance. A partial verification of the Guidance and Control Software (GCS) Specification is provided as a result of analysis using three modeling formalisms. Zed was applied first to detect and remove ambiguity...
متن کاملCompleteness and Consistency in Hierarchical State-Based Requirements - Software Engineering, IEEE Transactions on
This paper describes methods for automatically analyzing formal, state-based requirements specifications for some aspects of completeness and consistency. The approach uses a low-level functional formalism, simplifying the analysis process. State-space explosion problems are eliminated by applying the analysis at a high level of abstraction; i.e., instead of generating a reachability graph for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016